Microsoft Mathematics - PDFSEARCH.IO - Document Search Engine

Microsoft Mathematics
Results: 4205

#	Item
331	Microsoft Word - 15.IASS_block_ochsendorf_2007_rev.doc Add to Reading List Source URL: web.mit.edu Language: English - Date: 2008-05-20 06:02:00 Mathematics Geometry Linear programming Vault Duality Grid plan Grid Regular grid Mathematical optimization Convex optimization Operations research
332	Microsoft PowerPoint - shortest-path-summary Add to Reading List Source URL: www.cse.unr.edu Language: English - Date: 2012-12-20 19:29:20 Network theory Computational complexity theory Shortest path problem Algorithm Approximation algorithm Streaming algorithm Fast Fourier transform Theoretical computer science Mathematics Applied mathematics
333	Microsoft Word - Parrish table 1.doc Add to Reading List Source URL: www.mathsolutions.com Language: English - Date: 2013-09-11 21:10:28 Education reform Mental arithmetic Principles and Standards for School Mathematics National Council of Teachers of Mathematics Multiplication Mental calculation 24 Game Mathematical anxiety Connected Mathematics Mathematics education Mathematics Education
334	CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematical proof RSA PP Provable security Cryptography Mathematics Mathematical logic
335	SMT Solvers: Theory and Implementation Summer School on Logic and Theorem Proving Leonardo de Moura Microsoft Research Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Model theory Predicate logic Formal languages Metalogic Satisfiability Modulo Theories Interpretation Well-formed formula Structure Term Logic Mathematical logic Mathematics
336	Concentration Inequalities for Nonlinear Matroid Intersection∗ Konstantin Makarychev Microsoft Research Warren Schudy IBM Research Add to Reading List Source URL: konstantin.makarychev.net Language: English - Date: 2014-06-08 22:16:28 Matroid Randomized rounding Markov chain Linear programming Chernoff bound Tutte polynomial Sturm–Liouville theory Mathematics Matroid theory Dimension
337	Microsoft Word - Seven Things You Need to Know About TNReady Math.docx Add to Reading List Source URL: tennessee.gov Language: English - Date: 2015-04-23 12:23:42
338	Microsoft Word - ICMECall for sponsors_v7.docx Add to Reading List Source URL: www.icme2015.ieee-icme.org Language: English - Date: 2014-09-30 10:06:13 International Congress on Mathematical Education mathematics education Institute of Electrical and Electronics Engineers Sponsor Multimedia Visual arts Structure Business Standards organizations International nongovernmental organizations Professional associations
339	Distance Estimation and Object Location via Rings of Neighbors ∗ Aleksandrs Slivkins† February 2005 Revised: June 2005, Nov 2005, April 2006, SeptAbstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-09-17 17:37:38 Distributed data storage Routing Distributed hash table Shortest path problem Travelling salesman problem Tree decomposition Koorde Pastry Graph theory Theoretical computer science Mathematics
340	Microsoft PowerPoint - Broadbent-QOTP-Paris-for-posting.pptx Add to Reading List Source URL: www.pcqc.fr Language: English - Date: 2015-04-05 22:49:05 Physics Security token Quantum channel Quantum cryptography Cryptography Computational complexity theory Theoretical computer science Applied mathematics Quantum information science

UPDATE